Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
791	Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Constraint programming Automated theorem proving Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories DPLL algorithm Boolean satisfiability problem Solver Theoretical computer science Applied mathematics Mathematics
792	Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers ETH Zurich, Switzerland Add to Reading List Source URL: stefanheule.com Language: English - Date: 2014-09-10 01:53:47 Formal methods Functions and mappings Predicate logic Abstraction Predicate Function Anamorphism Satisfiability Modulo Theories Predicate transformer semantics Mathematics Mathematical logic Logic
793	Monday 7 Tuesday 8 September \| Liberty Stadium, Swansea AGILE DEVELOPMENT & SOFTWARE CRAFTSMANSHIP CONFERENCE World-renowned Add to Reading List Source URL: swancon.co.uk Language: English Extreme programming Software project management Formal methods Project management Mike Cohn Valtech Software craftsmanship Software development process Software engineering Software development Software Agile software development
794	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
795	Microsoft Word - agile-myths-and-realities.doc Add to Reading List Source URL: davidfrico.com Language: English - Date: 2015-03-31 14:58:16 Formal methods Agile software development Requirement Software development process Quality assurance Reliability engineering Software development Software Software project management
796	EVALUATION OF COMPUTER MODELS FOR PREDICTING THE FATE AND TRANSPORT OF SALT IN SOIL AND GROUNDWATER PHASE I REPORT Add to Reading List Source URL: www.environment.gov.ab.ca Language: English - Date: 2006-01-30 12:58:16 Earth Environment Hydraulic engineering Aquifers Soil contamination Hydrus Phase I environmental site assessment Groundwater Software development process Formal methods Water Hydrology
797	doi:Article development led by queue.acm.org Combining agile and SEMAT yields more Add to Reading List Source URL: semat.org Language: English - Date: 2013-11-02 14:27:08 Technology Formal methods Software SEMAT Agile software development Ivar Jacobson IBM Rational Unified Process Software development process Scrum Software development Software project management Software engineering
798	Deliverable D1.3 Project acronym Project full title Second Periodic Report Add to Reading List Source URL: simbad-fp7.eu Language: English - Date: 2010-06-28 04:10:16 Learning Formal sciences Geostatistics Kernel methods Similarity Supervised learning Pattern recognition Machine learning Statistics Artificial intelligence
799	A PROBABILISTIC POLYNOMIAL-TIME PROCESS CALCULUS FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS JOHN C. MITCHELL, AJITH RAMANATHAN, ANDRE SCEDROV, AND VANESSA TEAGUE Abstract. We prove properties of a process calculus that Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:35:24 Formal methods Computability theory Lambda calculus Polynomial Π-calculus IP Process calculus Function PP Theoretical computer science Mathematics Applied mathematics

UPDATE